41. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
پدیدآورنده: Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L36B7
1996
42. Alan Turing :
پدیدآورنده: edited by S. Barry Cooper and Jan van Leeuwen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
C65
2013
43. Alan Turing : his work and impact
پدیدآورنده: Cooper, S. B. )S. Barry(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Turing, Alan Mathison,2191-4591,Biography ، Mathematicians - Great Britain,Mathematics ، Computer science,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8
C65
2013
44. Alan Turing : his work and impact
پدیدآورنده: Cooper, S. Barry, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Turing, Alan Mathison, 2191-4591,Biography ، Mathematicians -- Great Britain,، Computer science -- Mathematics,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8C66
45. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
پدیدآورنده: Delaram Kahrobaei, Bren Cavallo, David Garber, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
A1A42
46. Algebraic foundations in computer science :
پدیدآورنده: edited by Werner Kuich, George Rahonis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
A44
2011
48. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
49. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
50. Automata, logics, and infinite games
پدیدآورنده: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
51. Automata, logics, and infinite games
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
52. Automata, logics, and infinite games
پدیدآورنده: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
رده :
QA
,
76
.
9
,.
M35
,
A85
,
2002
53. Automata, logics, and infinite games
پدیدآورنده: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
54. Automated Deduction - A Basis for Applications
پدیدآورنده: edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
55. Automated Deduction -- CADE-12 :
پدیدآورنده: edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
56. Automated deduction in geometr
پدیدآورنده: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
57. Automation of Reasoning :
پدیدآورنده: edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
59. BL,BL
پدیدآورنده: / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
60. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده: P. Martin-Lof, G Mints, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
